#!/bin/sh

dirs="extra1 extra2 redB redC redA redO redM redE redP"

for clave in $dirs; do
	mv $clave keys
	source ./vars
	./build-dh
	mv keys $clave
done